Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
نویسندگان
چکیده
منابع مشابه
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
With web services already being key ingredients of modern web systems, automatic and easy-to-use but at the same time powerful and expressive testing frameworks for web services are increasingly important. Our work aims at fully automatic testing of web services: ideally the user only specifies properties that the web service is expected to satisfy, in the form of input-output relations, and th...
متن کاملAutomatic Generation of Test Models for Web Services Using WSDL and OCL
Web services are a very popular solution to integrate components when building a software system, or to allow communication between a system and third-party users, providing a flexible, reusable mechanism to access its functionalities. To ensure these properties though, intensive testing of web services is a key activity: we need to verify their behaviour and ensure their quality as much as pos...
متن کاملAn Automatic Test Case Generation Framework for Web Services
BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi-formal flow language with complex features such as concurrency and hierarchy. To test a model thoroughly, we need to cover different execution scenarios. As is well known, it is tedious, time-consuming, and error prone t...
متن کاملAUTOMATIC TEST CASE GENERATION of WEB SERVICES USING CLASS DIAGRAM
Web services are formally and fully described using an XML-based document called the Web Services Description Language (WSDL) document. WSDL documents fully describe a Web service, including the operations that it supports, the messages that it exchanges, and the data types that these messages use. The best way to approach a WSDL document is to understand that different XML elements take respon...
متن کاملAutomatic Web Service Testing from WSDL Descriptions
Web Services fall under the so-called emerging technologies category and are getting more and more used for Internet applications or business transactions. Currently, there is an important need for validation techniques of web service based architectures. Web services, that are currently proposed into UDDI registries, are not always tested. And for most of them, no specification is provided. So...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.98.3